数理逻辑,逻辑符号;

乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家.
来源:互联网摘选Metamathematics is a subject on symbolic logic, which focuses on the mathematics discrepancy.
元数学是一门数理逻辑方面的学科, 其主要研究对象是数学本身的矛盾性问题.
来源:互联网摘选
简答网 · 高考英语

简答网 · 英语阅读

简答网 · 高考英语

简答网 · 双语娱乐资讯

简答网 · 初中英语作文

简答网 · 高考英语